win32 theme: Add a hack that selects the right font on Windows 8
authorBenjamin Otte <otte@gnome.org>
Mon, 15 Feb 2016 05:48:48 +0000 (06:48 +0100)
committerBenjamin Otte <otte@redhat.com>
Wed, 17 Feb 2016 03:36:30 +0000 (04:36 +0100)
commita3998bce9d444657a70c8910075ebbab15702bcf
tree8fc79fbb5e69af06740e62b635f47949f273a686
parentc98007f9fd3db6d27c6916f28d2b1867c93bd072
win32 theme: Add a hack that selects the right font on Windows 8

Someone needs to figure out why the default font is wrong.
gtk/theme/win32/gtk-win32-base.css